How High Frequency Trading Works, Trading Speed, And The Flash Crash